Nuprl Definition : es-le-before
11,40
postcript
pdf
es-le-before(
es
;
e
) == before(
e
) @ [
e
]
latex
clarification:
es-le-before(
es
;
e
) == es-before(
es
;
e
) @ [
e
/ []]
latex
Definitions
as
@
bs
,
before(
e
)
,
[
car
/
cdr
]
,
[]
FDL editor aliases
es-le-before
origin